Model-based embedded real-time software development”, in

Embedded real-time systems are tightly coupled with the physical world. This tight coupling imposes para-functional requirements (such as timeliness, jitter, fault-tolerance, and security) that go beyond functional (logi-cal) behaviors. Unfortunately, modern programming ap-proaches do not facilitate the independent encoding of functional and para-functional behaviors. In this paper, we argue that (a) a model of embedded software must be complemented by an appropriate model of the underly-ing hardware platform, (b) a model-based paradigm can be used to capture para-functional behaviors independent of functional aspects, (c) para-functional behaviors can be constituted from multiple dimensions, each of which can be manipulated by a user independent of others, and (d) the implementation impact of changes in one dimen-sion must be automatically reflected along other dimen-sions. Time Weaver, a tool developed at Carnegie Mel-lon University under the DARPA MoBIES program, sup-ports these capabilities. These three capabilities enable (i) clean reuse and/or automatic generation of all para-functional code (ii) real-time scheduling analysis and veri-fication and (iii) (later) automated test-vector generation